Sartre et sa théorie des émotions : une confrontation avec Erving Goffman

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Une Théorie des Constructions Inductives

Représentation et détection des émotions dans des dialogues enregistrés dans un centre d'appel. Des émotions complexes dans des données réelles

RÉSUMÉ. Les émotions complexes dans des contextes réels ont encore été peu étudiées. Dans ce papier, nous explorons comment représenter et automatiquement détecter le comportement émotionnel de sujets dans le contexte d’interactions orales Homme-Homme. Par rapport aux nombreuses études précédentes conduites sur des données artificielles, ce papier montre les défis auxquels on doit faire face lo...

Expressions intelligentes des émotions

We propose a computational model of emotions that takes into account two aspects of emotions: the emotions triggered by an event and the expressed emotions (the displayed ones), which may differ in real life. More particularly, we present a formalization of emotion eliciting-events based on a model of the agent's mental state composed of beliefs, choices, and uncertainties, which enables one to...

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...